Free shipping on all orders! No minimum purchase required.
Formal Techniques in Real-Time and Fault-Tolerant Systems
by Bengt Jonsson, Joachim Parrow (Editor)
